1. Formal Engineering for Industrial Software Development :
المؤلف: by Shaoying Liu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
2. Formal engineering for industrial software development
المؤلف: / Shaoying Liu
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer software -- Development,Object-oriented programming (Computer science),Formal methods (computer science)
رده :
QA
76
.
76
.
D47L58
2004
3. Oriented Formal Language and Method-Structured Object
المؤلف: / Shaoying Liu
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Oriented Formal Language and Method-Structured Object
المؤلف: / Shaoying Liu, Zhenhua Duan
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
5. Oriented Formal Language and Method-Structured Object
المؤلف: / Shaoying Liu, Zhenhua Duan
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. Structured object-oriented formal language and method
المؤلف: \ Shaoying Liu, Zhenhua Duan (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Object-oriented methods (Computer science) -- Congresses.,Logics and Meanings of Programs,روش‌های صوری (کامپیوتر) -- کنگره ها,شی‌گرایی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S765
2015
E-Book
,
7. Structured object-oriented formal language and method :
المؤلف: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Object-oriented methods (Computer science), Congresses.,Formal methods (Computer science),Object-oriented methods (Computer science)
رده :
QA76
.
9
.
L63
